Contribution à l'étude des binaires des types F, G, K, M. VII. HD 147395, une géante M binaire spectroscopique

Les maladies des animaux dues à des Clostridium welchii

D113 : une plateforme open-source dédiée à l'analyse des flux et à la détection des intrusions

L’explosion d’internet, couplée à l’effet de la mondialisation, a pour résultat d’interconnecter les personnes, les entreprises, les états. Le côté déplaisant de cette interconnexion mondiale des Systèmes d’Information réside dans un phénomène appelé "Cybercriminalité". Des personnes, des groupes mal intentionnés ont pour objectif de nuire dans un but pécuniaire ou pour une "cause", aux informa...

Le codage des arbres binaires

Les arbres sont principalement la structure de donnée utilisés pour stocker des données ordonnées et d’après Knuth la plus importante structure non-linéaire intervenant dans l’informatique. Ils sont très utilisés dans tous les domaines, parce que bien adaptés à la représentation naturelle d’information organisée homogène, et d’une grande rapidité et commodité de manipulation. On trouve cette st...

Contribution à l'étude des milieux poreux

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq